Synonym Ostedes sikkimensis Breuning, 1958c Ostedes (Ostedes) sikkimensis Löbl & Smetana, 2010 Description Type locality: India: Sikkim, Mungphu (HT); BMNH Distribution India (Sikkim; WB: Darjeeling Distr.)